Compaction of Diagnostic Test Set for a Full-Response Dictionary

We optimize the diagnostic data from a fullresponse fault dictionary of a given test set. Compaction is done without loss of diagnostic resolution of a test set. We give an integer linear program (ILP) formulation using fault diagnostic table. The complexity of the ILP is made manageable by two innovations. First, we define a generalized independence relation between pairs of faults to reduce the number of fault pairs that need to be distinguished. This significantly reduces the number of ILP constraints. Second, we propose a two-phase ILP approach. An initial ILP phase, which uses existing procedures, selects a minimal detection test set. In a final phase, additional tests are then selected for the undiagnosed faults using a new diagnostic ILP. The overall minimized test set may be only slightly longer than a one-step ILP optimization, but has advantages of significantly reduced computation complexity and reduced test time. Benchmark results show potential for very small diagnostic test sets.